Combinations of Stit and Actions
نویسنده
چکیده
We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.
منابع مشابه
Temporal STIT logic and its application to normative reasoning
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. To cite this version : Lorini, Emiliano Temporal STIT logic and its application to normative reasoning. I present a variant of STIT with time, called T-STIT (Temporal STIT), interpreted in standard Kripke semantics. On the syntactic level, T-STIT is nothin...
متن کاملAction Types in STIT Semantics
Stit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so. The purpose of this paper is to enrich stit semantics, and especially epistemic stit semantics, by supplementing the overall framework with ...
متن کاملA Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
In this article, we propose a Dynamic Logic of Propositional Control DL-PC in which the concept of ‘seeing to it that’ (abbreviated stit) as studied by Belnap, Horty and others can be expressed; more precisely, we capture the concept of the so-called Chellas stit theory and the deliberatibe stit theory, as opposed to Belnap’s original achievement stit. In this logic, the sentence ‘group G sees ...
متن کاملDeontic Epistemic stit Logic Distinguishing Modes of 'Mens Rea'
Most juridical systems contain the principle that an act is only unlawful if the agent conducting the act has a `guilty mind' (`mens rea'). Different law systems distinguish di erent modes of mens rea. For instance, American law distinguishes between `knowingly' performing a criminal act, `recklessness', `strict liability', etc. I will show we can formalize several of these categories. The form...
متن کاملTowards an ontology of agency and action From STIT to OntoSTIT+
A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for them is currently available. This paper is a first attempt at bridging this gap, focusing especially on the relationship between agency and action. The departure point is STIT logic, the most expressive among the current logics of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 19 شماره
صفحات -
تاریخ انتشار 2010